Veritasium released a video recently on a very curious paradox that I found quite unintuitive at first. The paradox relates to the following SAT problem from 1982.